منابع مشابه
Blame Prediction
Static type systems are usually conservative. Therefore, many interesting programs are rejected by the type system, even though they often execute without errors. Dynamic type systems would allow such ill-typed programs to run. However, the cause of runtime errors is often far removed from the place where the type errors are raised, making the program hard to debug. We present a hybrid typing d...
متن کاملBlame Trees
We consider the problem of merging individual text documents, motivated by the single-file merge algorithms of document-based version control systems. Abstracting away the merging of conflicting edits to an external conflict resolution function (possibly implemented by a human), we consider the efficient identification of conflicting regions. We show how to implement tree-based document represe...
متن کاملShifting the Blame - A Blame Calculus with Delimited Control
We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to monitor the flow of values between these parts and abort program execution if invalid values are passed. However, control operators, which enable us to implement useful control effects, make such monitoring tricky; in fa...
متن کاملA Theory of Blame
We introduce a theory of blame in five parts. Part 1 addresses what blame is: a unique moral judgment that is both cognitive and social, regulates social behavior, fundamentally relies on social cognition, and requires warrant. Using these properties, we distinguish blame from such phenomena as anger, event evaluation, and wrongness judgments. Part 2 offers the heart of the theory: the Path Mod...
متن کاملUnemployment: Blame the Victim?
This paper investigates a problem of 'state dependency'. People who have been unemployed in the past are much more likely than others to become unemployed in the future. But is it unemployment itself that causes future unemployment or is there something else, some measured or unmeasured form of heterogeneity, in individual characteristics or environmental circumstances, that causes both the pas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pensions: An International Journal
سال: 2009
ISSN: 1750-208X
DOI: 10.1057/pm.2008.40